翻訳と辞書
Words near each other
・ Tarsis et Zélie
・ Tarsis Humphreys
・ Tarsis Kabwegyere
・ Tarsistes philippii
・ Tarsius
・ Tarsius fuscus
・ Tarskavaig
・ Tarski monster group
・ Tarski's axiomatization of the reals
・ Tarski's axioms
・ Tarski's circle-squaring problem
・ Tarski's exponential function problem
・ Tarski's high school algebra problem
・ Tarski's plank problem
・ Tarski's problem
Tarski's theorem
・ Tarski's theorem about choice
・ Tarski's undefinability theorem
・ Tarski's World
・ Tarski–Grothendieck set theory
・ Tarski–Kuratowski algorithm
・ Tarski–Seidenberg theorem
・ Tarsky
・ Tarsky District
・ Tarsnap
・ Tarsney
・ Tarso
・ Tarso Genro
・ Tarso Marques
・ Tarso Toh


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Tarski's theorem : ウィキペディア英語版
Tarski's theorem
Tarski's theorem may refer to the following theorems of Alfred Tarski:
*Tarski's theorem about choice
*Tarski's undefinability theorem
*Tarski's theorem on the completeness of the theory of real closed fields
* Knaster–Tarski theorem (sometimes referred to as Tarski's fixed point theorem)
* Tarski–Seidenberg theorem
* Some fixed point theorems, usually variants of the Kleene fixed-point theorem, are referred to the Tarski–Kantorovitch fixed–point principle or the Tarski–Kantorovitch theorem although the use of this terminology is limited.
*The Tarski–Vaught test
==See also==

*List of things named after Alfred Tarski

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Tarski's theorem」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.